Liffiton, Mark: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

Mark H. Liffiton, Karem A. Sakallah

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 876 KB

english, 2008

2

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas

Mark Liffiton, Maher Mneimneh, Inês Lynce, Zaher Andraus, João Marques-Silva, Karem Sakallah

Journal:

Year:

2009

Language:

english

File:

PDF, 712 KB

english, 2009

3

Iterative and core-guided MaxSAT solving: A survey and assessment

Antonio Morgado, Federico Heras, Mark Liffiton, Jordi Planes, Joao Marques-Silva

Journal:

Year:

2013

Language:

english

File:

PDF, 5.13 MB

english, 2013

4

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Improved Design Debugging Using Maximum Satisfiability

Safarp, Sean, Mangassarian, Hratch, Veneris, Andreas, Liffiton, Mark H., Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 185 KB

english, 2007

5

Fast, flexible MUS enumeration

Liffiton, Mark H., Previti, Alessandro, Malik, Ammar, Marques-Silva, Joao

Journal:

Year:

2016

Language:

english

File:

PDF, 2.11 MB

english, 2016

6

[ACM Press the 2006 conference - Yokohama, Japan (2006.01.24-2006.01.27)] Proceedings of the 2006 conference on Asia South Pacific design automation - ASP-DAC '06 - Refinement strategies for verification methods based on datapath abstraction

Andraus, Zaher S., Liffiton, Mark H., Sakallah, Karem A.

Year:

2006

Language:

english

File:

PDF, 144 KB

english, 2006

7

[ACM Press the 41st annual conference - San Diego, CA, USA (2004.06.07-2004.06.11)] Proceedings of the 41st annual conference on Design automation - DAC '04 - Exploiting structure in symmetry detection for CNF

Darga, Paul T., Liffiton, Mark H., Sakallah, Karem A., Markov, Igor L.

Year:

2004

Language:

english

File:

PDF, 128 KB

english, 2004

8

[IEEE 2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Berlin, Germany (2014.4.15-2014.4.17)] 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets

Blackham, Bernard, Liffiton, Mark, Heiser, Gernot

Year:

2014

Language:

english

File:

PDF, 430 KB

english, 2014

9

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Improved Design Debugging Using Maximum Satisfiability

Safarpour, Sean, Mangassarian, Hratch, Veneris, Andreas, Liffiton, Mark H., Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 185 KB

english, 2007

10

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Parallelizing Partial MUS Enumeration

Zhao, Wenting, Liffiton, Mark H.

Year:

2016

Language:

english

File:

PDF, 378 KB

english, 2016